Total Books: 1 - 1 /1
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Lire la suite
Total Books: 1 - 1 /1
